12.17.25 | alpr.watch, GitHub Actions pricing changes, No Graphics API

Update: 2025-12-17

Description

This is a recap of the top 10 posts on Hacker News on Dec 17, 2025.

Feel free to leave feedback on Github: https://github.com/denolfe/hacker-news-highlights

(00:00 ) - Intro

(00:17 ) - alpr.watch

(01:32 ) - Pricing Changes for GitHub Actions

(02:44 ) - No Graphics API

(03:52 ) - AI will make formal verification go mainstream

(05:13 ) - Announcing the Beta release of ty

(06:16 ) - Thin desires are eating life

(07:22 ) - Mozilla appoints new CEO Anthony Enzor-Demeo

(08:24 ) - 40 percent of fMRI signals do not correspond to actual brain activity

(09:39 ) - GPT Image 1.5

(10:47 ) - No AI* Here – A Response to Mozilla's Next Chapter

(11:59 ) - Outro

alpr.watch
https://alpr.watch/
https://news.ycombinator.com/item?id=46290916

Pricing Changes for GitHub Actions
https://resources.github.com/actions/2026-pricing-changes-for-github-actions/
https://news.ycombinator.com/item?id=46291156

No Graphics API
https://www.sebastianaaltonen.com/blog/no-graphics-api
https://news.ycombinator.com/item?id=46293062

AI will make formal verification go mainstream
https://martin.kleppmann.com/2025/12/08/ai-formal-verification.html
https://news.ycombinator.com/item?id=46294574

Announcing the Beta release of ty
https://astral.sh/blog/ty
https://news.ycombinator.com/item?id=46294289

Thin desires are eating life
https://www.joanwestenberg.com/thin-desires-are-eating-your-life/
https://news.ycombinator.com/item?id=46283276

Mozilla appoints new CEO Anthony Enzor-Demeo
https://blog.mozilla.org/en/mozilla/leadership/mozillas-next-chapter-anthony-enzor-demeo-new-ceo/
https://news.ycombinator.com/item?id=46288491

40 percent of fMRI signals do not correspond to actual brain activity
https://www.tum.de/en/news-and-events/all-news/press-releases/details/40-percent-of-mri-signals-do-not-correspond-to-actual-brain-activity
https://news.ycombinator.com/item?id=46288415

GPT Image 1.5
https://openai.com/index/new-chatgpt-images-is-here/
https://news.ycombinator.com/item?id=46291941

No AI* Here – A Response to Mozilla's Next Chapter
https://www.waterfox.com/blog/no-ai-here-response-to-mozilla/
https://news.ycombinator.com/item?id=46295268

Comments

In Channel

12.19.25 | ACM publications to be open access in 2026, supply-chain attack on X, Vercel, Cursor, and Discord, Texas suing TV makers for spying

2025-12-1912:18

12.18.25 | Gemini 3 Flash focuses on speed, AWS CEO criticizes replacing junior devs with AI, HN experienced downtime

2025-12-1811:54

12.17.25 | alpr.watch, GitHub Actions pricing changes, No Graphics API

2025-12-1712:05

12.16.25 | Kenyan writer contrasts style with ChatGPT, 8M users' AI chats exploited by extensions, Pepsi and Walmart colluded on food prices

2025-12-1611:46

12.15.25 | Hashcards is a spaced repetition system, elevated errors in models, Ask HN about December 2025 projects

2025-12-1511:13

12.14.25 | Stranger kindness, VPN location discrepancies, improving AI programming skills

2025-12-1411:48

12.13.25 | Apple ID locked, macOS 26.2 fast AI clusters, OpenAI adopts skills in ChatGPT and Codex CLI

2025-12-1311:34

12.12.25 | GPT-5.2 release, highest quality codebase, French supermarket's successful Christmas advert

2025-12-1211:45

12.11.25 | Life's dimensions, Australia enforces teen social media ban, Valve reports HDMI Forum blocks HDMI 2.1 for Linux

2025-12-1111:32

12.10.25 | Gemini Pro 3 imagines future HN front page, Let's Encrypt celebrates 10 years, Mistral launches Devstral2 and Vibe CLI

2025-12-1011:54

12.9.25 | Icons in menus, AI progress steady, IBM acquires Confluent

2025-12-0912:22

12.8.25 | Google Titans architecture enhances AI memory, failed attempt to recreate 1996 Space Jam website, dollar-stores overcharge despite low price promises

2025-12-0811:55

12.7.25 | GrapheneOS offers complete security patches, Tiny Core Linux is a 23 MB graphical distro, LLMs utilized at Oxide

2025-12-0711:54

12.6.25 | Netflix acquires Warner Bros, Cloudflare outage December 5, 2025, Gemini 3 Pro advances vision AI

2025-12-0611:34

12.5.25 | Cloudflare outage, Stanford students' disability claims, elites influencing mass preferences with AI

2025-12-0511:07

12.4.25 | Ghostty becomes non-profit, Seattle's disdain for AI, Valve's role in Windows games on Arm

2025-12-0411:40

12.3.25 | Anthropic acquires Bun, OpenAI issues 'code red' over Google, IBM CEO doubts AI data center ROI

2025-12-0312:07

12.2.25 | DeepSeek-v3.2 advances open language models, India mandates preloaded cyber safety app, Ghostty compiles to WASM with xterm.js compatibility

2025-12-0210:48

12.1.25 | Advent of Code 2025, tips for writing Claude.md, Windows drive letters beyond A-Z

2025-12-0110:25

11.30.25 | OpenAI preparing ChatGPT ads, One breakthrough needed, Bazzite for Linux gaming

2025-11-3011:23